|
The 15-puzzle (also called Gem Puzzle, Boss Puzzle, Game of Fifteen, Mystic Square and many others) is a sliding puzzle that consists of a frame of numbered square tiles in random order with one tile missing. The puzzle also exists in other sizes, particularly the smaller 8-puzzle. If the size is 3×3 tiles, the puzzle is called the 8-puzzle or 9-puzzle, and if 4×4 tiles, the puzzle is called the 15-puzzle or 16-puzzle named, respectively, for the number of tiles and the number of spaces. The object of the puzzle is to place the tiles in order (see diagram) by making sliding moves that use the empty space. The ''n''-puzzle is a classical problem for modelling algorithms involving heuristics. Commonly used heuristics for this problem include counting the number of misplaced tiles and finding the sum of the taxicab distances between each block and its position in the goal configuration. Note that both are ''admissible'', i.e. they never overestimate the number of moves left, which ensures optimality for certain search algorithms such as A *. == Solvability == used a parity argument to show that half of the starting positions for the ''n''-puzzle are impossible to resolve, no matter how many moves are made. This is done by considering a function of the tile configuration that is invariant under any valid move, and then using this to partition the space of all possible labeled states into two equivalence classes of reachable and unreachable states. The invariant is the parity of the permutation of all 16 squares plus the parity of the taxicab distance (number of rows plus number of columns) of the empty square from the lower right corner. This is an invariant because each move changes both the parity of the permutation and the parity of the taxicab distance. In particular if the empty square is in the lower right corner then the puzzle is solvable if and only if the permutation of the remaining pieces is even. also showed that the converse holds on boards of size ''m''×''n'' provided ''m'' and ''n'' are both at least 2: all even permutations ''are'' solvable. This is straightforward but a little messy to prove by induction on ''m'' and ''n'' starting with ''m''=''n''=2. gave another proof, based on defining equivalence classes via a hamiltonian path. studied the analogue of the 15 puzzle on arbitrary finite connected and non-separable graphs. (A graph is called separable if removing a vertex increases the number of components.) He showed that, except for polygons, and one exceptional graph on 7 vertices, it is possible to obtain all permutations unless the graph is bipartite, in which case exactly the even permutations can be obtained. The exceptional graph is a regular hexagon with one diagonal and a vertex at the center added; only 1/6 of its permutations can be obtained. For larger versions of the ''n''-puzzle, finding a solution is easy, but the problem of finding the ''shortest'' solution is NP-hard.〔Daniel Ratner, Manfred K. Warmuth. ''Finding a Shortest Solution for the N × N Extension of the 15-PUZZLE Is Intractable''. National Conference on Artificial Intelligence, 1986.〕 For the 15-puzzle, lengths of optimal solutions range from 0 to 80 single-tile moves〔A. Brüngger, A. Marzetta, K. Fukuda and J. Nievergelt, (The parallel search bench ZRAM and its applications ), ''Annals of Operations Research'' 90 (1999), pp. 45–63.〕 or 43 multi-tile moves;〔("The Fifteen Puzzle can be solved in 43 "moves"" ). Domain of the Cube Forum〕 the 8-puzzle always can be solved in no more than 31 single-tile moves or 24 multi-tile moves (integer sequence (A087725 )). The multi-tile metric counts subsequent moves of the empty tile in the same direction as one.〔 The number of possible positions of the 24-puzzle is 25!/2 ≈ 7.76×1024 which is too many to calculate God's number. In 2011, a lower bound of 152 single-tile moves had been established;〔("24 puzzle new lower bound: 152" ). Domain of the Cube Forum〕 current established upper bound is 208 single-tile moves or 109 multi-tile moves.〔("5x5 can be solved in 109 MTM" ). Domain of the Cube Forum.〕〔("m × n puzzle (current state of the art)" ). Sliding Tile Puzzle Corner.〕 The symmetries of the fifteen puzzle form a groupoid (not a group, as not all moves can be composed);〔(The 15-puzzle groupoid (1) ), Never Ending Books〕〔(The 15-puzzle groupoid (2) ), Never Ending Books〕 this groupoid acts on configurations. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「15 puzzle」の詳細全文を読む スポンサード リンク
|